package flowlogic;

public class GuardedConstraint extends Constraint {

	private Constraint guard;
	private Constraint constraint;
	
	public GuardedConstraint(Constraint gd, Constraint cs)
	{
		guard = gd;
		constraint = cs;
	}
	
	public Constraint getGuard() {
		return guard;
	}

	public Constraint getConstraint() {
		return constraint;
	}

	public String toString()
	{
		return "(" + guard + ")" + "=>" + "(" + constraint + ")";
	}
}
